La polysémie verbale appréhendée par une sémantique cognitive et formelle
نویسندگان
چکیده
منابع مشابه
Contribution à la vérication formelle et programmation par contraintes
ion des prédicats Le model checking symbolique utilise une représenta-tion efficace des formules booléennes. Une façon orthogonale pour accrôıtre l’effi-cacité est de simplifier le modèle en cours de vérification en prenant une abstraction.Ce principe a été utilisé en vérification de matériel (propriétés en logique temporellede programmes assembleur) [16] puis de logiciel [14]. ...
متن کاملUne approche formelle de la reconfiguration dynamique
RÉSUMÉ. Les applications auto-adaptables modifient leur comportement de façon dynamique et autonome par le biais d’opérations d’introspection, de recomposition, d’ajout et suppression de composants, dans le but de s’adapter aux changements pouvant survenir dans leur contexte d’exécution. Un des moyens de favoriser leur robustesse est de disposer d’un support formel permettant de modéliser ces a...
متن کاملUne approche sémantique basée sur l'apprentissage pour la recherche d'image par contenu
Multimedia databases are witnessing an exponential growth. Information retrieval in these data collections, especially in images, becomes a hard task. Furthermore, there is a difficulty in indexing these data since the present techniques don’t allow an efficient description of the content of images. In this paper, we focus on knowledge discovery in images database and we propose a new semantic ...
متن کاملDécouverte et analyse des communautés implicites par une approche sémantique en ligne : l'outil WebTribe
With the rise of Web 2.0 and collaborative technologies that are attached to, the Web has now become a broad platform of exchanges between users. The majority of websites is now dedicated to social interactions of their users, or offers tools to develop these interactions. Our work focuses on the understanding of these exchanges, as well as emerging community structures arising, through a seman...
متن کاملUne preuve formelle et intuitionniste du théorème de complétude de la logique classique
Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SHS Web of Conferences
سال: 2018
ISSN: 2261-2424
DOI: 10.1051/shsconf/20184612005